$\forall$${\it the\_es}$:ES. Trans $x$,$y$:E. $x$ $\leq$ $y$